منابع مشابه
The Mechanization of Mathematics
The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.
متن کاملBiodegradation of Effluents from Dairy Plant by Bacterial Isolates
Micro flora of the effluents from a dairy factory in Tehran(Pegah Dairy Processing Plant) were isolated and screened for their ability to reduce the organic matter content and COD of the effluents. 10 bacteria were selected due to reduction in COD content from the 4th to 6th day of incubation at 30 °C and pH =11. Highest COD reduction were obtained by two isolates, BP3...
متن کاملTraining Systems for Mechanization in Vineyards
Most 'Concord' vineyards in Arkansas have been trained to the Umbrella Kniffin (UK) system and pruned to a 30+10 schedule. In the Geneva Double Curtain (GDC) training system (a 1.2 m divided double curtain "T" type trellis) shoots are positioned vertically toward the vineyard floor. Under northern conditions, this system allows better distribution of fruiting spurs, reduced shading of interior ...
متن کاملDairy wastewater treatment plant in removal of organic pollution: a case study in Sanandaj, Iran
Background: Wastewater produced by a dairy in Sanandaj is a major source of environmental pollution threatening the city. The dairy uses activated sludge treatment to remove organic pollution from the wastewater. The present study evaluated the performance of this process and its compliance with national requirements for chemical oxygen demand (COD), biochemical oxygen demand (BOD), and total s...
متن کاملStudies on the Air Quality in a Dairy Processing Plant
Microbial quality of air in a dairy processing plant was evaluated to ascertain the contribution of air as a source of contamination and spoilage of milk and milk products. The mean total aerobic counts obtained in the air by sedimentation method were 32.66 ± 3.82, 25.32 ± 4.17 and 33.36 ± 3.53 cfu/ m in raw milk reception dock, pasteurization room and product preparation room respectively. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Dairy Science
سال: 1963
ISSN: 0022-0302
DOI: 10.3168/jds.s0022-0302(63)89020-7